# http://www.jukie.net/~bart/utils/finger-kernel-org/finger-kernel-org
# https://www.kernel.org/finger_banner
# http://askubuntu.com/questions/162616/should-i-upgrade-to-the-mainline-kernels
system("curl https://www.kernel.org/finger_banner");
